21. Guide to Scientific Computing in C++ /
پدیدآورنده : by Joe Pitt-Francis, Jonathan Whiteley.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer programming.,Computer science-- Mathematics.,Computer science.,Computer simulation.,Numerical analysis.,Programming languages (Electronic computers),Software engineering.,Computer programming.,Computer science-- Mathematics.,Computer science.,Computer Science.,Computer simulation.,Math Applications in Computer Science.,Numeric Computing.,Numerical analysis.,Programming languages (Electronic computers),Programming Languages, Compilers, Interpreters.,Programming Techniques.,Simulation and Modeling.,Software engineering.,Software Engineering.,Computer programming.,Computer science-- Mathematics.,Computer science.,Computer simulation.,Numerical analysis.,Programming languages (Electronic computers),Software engineering.
رده :
QA76
.
6-76
.
66
22. Initial computability, algebraic specifications, and partial algebras
پدیدآورنده : / by Horst Reichel
کتابخانه: مكتبات الكلية التقنية بجامعة طهران (طهران)
موضوع : Computer science - Mathematics,Data structures (Computer science),Programming languages (Electronic computers) - Semantics,Partial algebras
رده :
QA
76
.
9
.
M35R45
1987
23. Introduction to computers and data processing
پدیدآورنده : [by] Daniel D. Benice
موضوع : Electronic digital computers,Programming languages (Electronic computers)
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
24. Introduction to computers and data processing
پدیدآورنده : Benice, Daniel D
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Electronic digital computers,، Programming languages )Electronic computers(
رده :
QA
76
.
5
.
B395
25. It's all about coordination :
پدیدآورنده : Frank de Boer, Marcello Bonsangue, Jan Rutten (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer multitasking.,Electronic data processing-- Distributed processing.,Formal methods (Computer science),Parallel processing (Electronic computers),Artificial intelligence.,Computer modelling & simulation.,Computer multitasking.,Computer programming-- software development.,Computers-- Computer Simulation.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Electronic data processing-- Distributed processing.,Formal methods (Computer science),Mathematical theory of computation.,Mathematics-- Logic.,Parallel processing (Electronic computers),Programming & scripting languages: general.,Software Engineering.
رده :
QA76
.
58
.
I87
2018eb
26. MATLAB Recipes
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Computer software. ; Mathematics. ; Programming languages (Electronic computers). ; Professional Computing. ;
27. Maple user manual.
پدیدآورنده :
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Maple (Computer file),Maple (Computer file),Mathematics-- Data processing.,Programming languages (Electronic computers),Mathematics-- Data processing.,Programming languages (Electronic computers)
رده :
QA76
.
95
.
M362
2005
28. Mathematical aspects of natural and formal languages
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Programming languages )Electronic computers(-- Mathematics
رده :
QA
76
.
7
.
M376
1994
29. Mathematical foundations of programming language semantics : 3rd Workshop , Tulane University, New Orleans, Louisiana, USA, April 8-10, 1987: proceedings
پدیدآورنده : M. Main...]et al.[ )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Programming languages )Electronic computers( -- Semantics,Congresses ، Computer science -- Mathematics
رده :
QA
76
.
L28
Vol
.
298
30. Mathematical foundations of programming language semantics : 3rd workshop, Tulane University, New Orleans, Louisiana, USA, April 8-10, 1987 : proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Programming languages )Electronic computers(-- Semantics-- Congresses,، Computer science-- Mathematics-- Congresses
رده :
QA
76
.
7
.
M378
1988
31. Mathematical foundations of programming semantics :
پدیدآورنده : M. Main, A. Melton, M. Mislove ... [et al.], eds.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science -- Mathematics -- Congresses.,Programming languages (Electronic computers) -- Semantics -- Congresses.,sémantique programme.
رده :
QA76
.
7
M535
1990
32. Mathematical foundations of programming semantics : 5th International Conference, Tulane University, New Orleans, Louisiana, USA, March 29-April 1, 1989 : proceedings
پدیدآورنده : M. Main...]et al.[, )eds.(
کتابخانه: (طهران)
موضوع : Semantics -- Congresses ، Programming languages )Electronic computers(,Congresses ، Computer science -- Mathematics
رده :
QA
76
.
L28
Vol
.
442
33. Mathematical foundations of programming semantics : 5th international conference, Tulane University, New Orleans, Louisiana, USA, March 29-April 1, 1989 : proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Programming languages )Electronic computers(-- Sematics-- Congresses,، Computer science-- Mathematics-- Congresses
رده :
QA
76
.
7
.
M38
1990
34. Parallel Programming with Co-Arrays
پدیدآورنده :
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Parallel processing (Electronic computers),A Multifrontal Solver.,COMPUTERS-- Programming Languages-- General.,Execution Control.,Linear Algebra.,MATHEMATICS-- Number Systems.,OBJECT-ORIENTED DESIGN.,Parallel processing (Electronic computers),THE COARRAY PROGRAMMING MODEL.
رده :
QA76
.
642
.
N867
2019
35. Practical foundations for programming languages /
پدیدآورنده : Robert Harper, Carnegie Mellon University.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Programming languages (Electronic computers),Programming languages (Electronic computers)
رده :
QA76
.
7
.
H377
2016
36. Predicate transformer semantics
پدیدآورنده : Manes, Ernest G.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Programming languages )Electronic computers(-- Semantics,، Computer science-- Mathematics
رده :
QA
76
.
7
.
M342
1992
37. Semantics and algebraic specificatio
پدیدآورنده : / Jens Palsberg (ed.)
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Mosses, Peter.,Programming languages (Electronic computers)--Semantics--Congresses,Computer science--Mathematics--Congresses
رده :
QA
,
76
.
7
,.
S435
,
2009
38. Semantics and algebraic specification
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Mosses, Peter. ; Programming languages (Electronic computers) ; Semantics ; Congresses. ; Computer science ; Mathematics ; Congresses. ; Algebraische Spezifikation ; Aufsatzsammlung. ; Formale Methode ; Aufsatzsammlung. ; Programmiersprache ; Semantik ; A
39. Semantics of the probabilistic typed lambda calculus : Markov Chain semantics, termination behavior, and denotational semantics
پدیدآورنده : Draheim, Dirk, 9691-
کتابخانه: (طهران)
موضوع : ، Programming languages )Electronic computers( -- Semantics,Mathematics ، Programming languages )Electronic computers(
رده :
QA
76
.
7
.
D72S4
40. Study and compilation of computer languages
پدیدآورنده : Wallach, Yehuda
کتابخانه: (طهران)
موضوع : ، Programming languages )Electronic computers(,، Compiling )Electronic computers(
رده :
QA
76
.
7
.
W34
